Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🔢 Denotational Semantics
Domain Theory, Mathematical Models, Program Meaning, Scott Domains
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
27731
posts in
15.1
ms
How do you handle domain-specific transformation
logic
without
hardcoding
it?
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
🗣️
Domain-Specific Languages
Generalization
of terms via universal
algebra
arxiv.org
·
1d
🔲
Proof Irrelevance
`
derive
_
parser
` – Automatically
derive
a
parser
from your syntax tree
github.com
·
1d
·
Discuss:
r/rust
🔗
Parser Combinators
Monuses
and
Heaps
doisinkidney.com
·
12h
🧮
Algebraic Datatypes
State of
Knuckledragger
III: Kernel Changes,
Symbolic
Union, AI, and more
philipzucker.com
·
1d
⚔️
Lean Tactics
extended C*-
algebra
in
nLab
ncatlab.org
·
16h
🧮
Algebraic Archives
From
Relational
Algebra
to Document Semantics
dl.acm.org
·
3d
·
Discuss:
DEV
📋
Document Grammar
Outline-oriented
codebase
for a coding agent
blog.fooqux.com
·
19h
·
Discuss:
Hacker News
🌳
Incremental Parsing
A Foundation for
Differentiable
Logics
using Dependent Type Theory
arxiv.org
·
1d
🔠
Type-Level Programming
TurboSparse
: Elite Inference Speed via
dReLU
Sparsity
hackernoon.com
·
9h
🌀
Brotli Dictionary
Understanding
SMF
properties
davepacheco.net
·
14h
💧
Liquid Types
Differential
Logic
• 15
inquiryintoinquiry.com
·
18h
⚔️
Lean Theorem
BankStrategy/SOEL
: An open-ended semantic programming language with no formal syntax
github.com
·
2h
·
Discuss:
Hacker News
🔗
Functional Compilers
The Semantic Infrastructure Opportunity: Building
Meaningful
Operational
Frameworks
moderndata101.substack.com
·
1d
·
Discuss:
Substack
📇
Dublin Core
An AI Odyssey, Part 1:
Correctness
Conundrum
johndcook.com
·
10h
🔧
Hardware Verification
Touché
languagelog.ldc.upenn.edu
·
23m
🖋
Typography
Large induced
matchings
and minimal blocking sets using
parabolas
anuragbishnoi.wordpress.com
·
16h
🕸️
Graph Algorithms
A
rather
disorganized
rant about LLMs
boston.conman.org
·
6h
🐛
Fuzzing
A Review of
Uncle
Bob's Functional Design:
Principles
, Patterns, and Practices
coding-mischief.com
·
14h
·
Discuss:
Hacker News
🧬
Functional Programming
Build
Semantic
Search with LLM
Embeddings
machinelearningmastery.com
·
23h
🗂️
Vector Search
Loading...
Loading more...
Page 2 »
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help